$\forall$$a$, $b$:$\mathbb{Q}$. ($\neg$($a$ = 0 $\in$ $\mathbb{Q}$)) $\Rightarrow$ (($a$ $\ast$ ($b$/$a$)) = $b$)